منابع مشابه
Hyper Tableaux with Equality
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in the hyper tableau calculus. It is based on splitting of positive clauses and an adapted version of the superposition inference rule, where equations used for paramodulation are drawn (only) from a set of positive unit ...
متن کاملINTUITIONISTIC FUZZY HYPER BCK-IDEALS OF HYPER BCK-ALGEBRAS
The intuitionistic fuzzification of (strong, weak, s-weak) hyperBCK-ideals is introduced, and related properties are investigated. Characterizationsof an intuitionistic fuzzy hyper BCK-ideal are established. Using acollection of hyper BCK-ideals with some conditions, an intuitionistic fuzzyhyper BCK-ideal is built.
متن کاملStrong implicative hyper K-ideals
The study of BCK-algebras was initiated by K. Iséki in 1966 as a generalization of the concept of set-theoretic difference and propositional calculus. The hyperstructure theory (called also multialgebras) is introduced in 1934 by Marty [6] at the 8th congress of Scandinavian Mathematicians. Around the 40’s, several authors worked on hypergroups, especially in France and in the United States, bu...
متن کاملn-fold Commutative Hyper K-ideals
In this paper, we aresupposed to introduce the definitions of n-fold commutative, andimplicative hyper K-ideals. These definitions are thegeneralizations of the definitions of commutative, andimplicative hyper K-ideals, respectively, which have been definedin [12]. Then we obtain some related results. In particular wedetermine the relationships between n-fold implicative hyperK-ideal and n-fol...
متن کاملFUZZY (POSITIVE, WEAK) IMPLICATIVE HYPER BCK-IDEALS
In this note first we define the notions of fuzzy positive implicativehyper BCK-ideals of types 1,2,3 and 4. Then we prove some theorems whichcharacterize the above notions according to the level subsets. Also we obtainthe relationships among these notions, fuzzy (strong, weak, reflexive) hyperBCK-ideals and fuzzy positive implicative hyper BCK-ideals of types 5,6,7and 8. Then, we define the no...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebraic Hyperstructures and Logical Algebras
سال: 2020
ISSN: 2676-6019
DOI: 10.29252/hatef.jahla.1.2.5